type If<C extends boolean, T, F> = C extends true ? T : F;

// 严格模式 和 非严格模式下的区别
// https://www.typescriptlang.org/docs/handbook/type-compatibility.html
